141. An introduction to programming & problem solving with pascal
پدیدآورنده : SCHNEIDER,G MICHAEL
کتابخانه: (طهران)
موضوع : PASCAL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
P2
S36
1982
142. An introduction to programming with specifications : a mathematical approach
پدیدآورنده : Kubiak, Ryszard
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
143. An introduction to software physics:the meaning of computer
پدیدآورنده : KOLENCE,KENNETH W
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER SOFTWARE
رده :
QA
76
.
6
.
K645
1985
144. Application development tools
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic data processing-- Addresses, essays, lectures,، System design-- Addresses, essays, lectures,، Electronic digital computers-- Programming-- Addresses, essays, lectures
رده :
QA
76
.
24
.
A66
1984
145. Application development without programmers
پدیدآورنده : Martin, James
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
146. Application development without programmers
پدیدآورنده : Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Electronic digital computers - Programming,، Electronic data processing
رده :
QA
76
.
6
.
M3613
147. Applications of generalized nets
پدیدآورنده : editor, Krassimir T. Atanassov
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Nets )Mathematics(
رده :
QA
76
.
6
.
A655
1993
148. Applications software programming with fourth- generation languages
پدیدآورنده : W. Gregory Wojtkowski, Wita Wojtkowski
موضوع : Programming languages (Electronic computers),Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
149. Applied computation theory
پدیدآورنده : / Raymond T. Yeh
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Dequential machine theory,Electronic digital computers - Programming,Electronic digital computers - Design and construction
رده :
629
.
891
Ye-A
150. Applied computation theory:analysis,design,modeling
پدیدآورنده : YEH,RAYMOND TZUU-YAU
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE THEORY , ELECTRONIC DIGITAL COMPUTERS PROGRAMMING , ELECTRONIC DIGITAL COMPUTERS-
رده :
QA
267
.
5
.
S4
Y43
151. Applied computation theory : analysis, design, modeling
پدیدآورنده : Yeh, Raymond Tzuu-Yau
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Electronic digital computers -- Programming,، Electronic digital computers -- Design and construction
رده :
QA
267
.
5
.
S4
Y43
152. Applied computation theory : analysis, design, modeling
پدیدآورنده : Raymond T. Yeh, editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Sequential machine theory,، Electronic digital computers - Programming,، Electronic digital computers - Design and construction
رده :
QA
267
.
5
.
S4
A66
1976
153. Artificial intelligence and heuristic programming
پدیدآورنده :
موضوع : ، Artificial intelligence,، Electronic digital computers-- Programming,، Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
154. Assemblers and BAL
پدیدآورنده : Flores, Ivan.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Assembler language )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
F448
155. Assemblers and BAL
پدیدآورنده : Flores, Ivan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Assembler language )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
F448
156. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
157. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
158. BASIC computer programming
پدیدآورنده : Bartee, Thomas C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، BASIC )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
73
.
B3
.
B37
1985
159. Basic BASIC programming ; self instrucctional manual and text
پدیدآورنده : Peluso, Anthony P
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، BASIC )Computer program language(,، Electronic digital Computers- Programming
رده :
QA
76
.
5
.
P4
160. Basic COBOL programming; self-instructional manual and text
پدیدآورنده : Spitzbarth, Laurel M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، COBOL )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
S665
